индуктивное множество

См. также в других словарях:

• Индуктивное умозаключение — У этого термина существуют и другие значения, см. Индукция. Индукция (лат. inductio  наведение)  процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки… …   Википедия

• индуктивное определение — определение, позволяющее из некоторых исходных объектов теории с помощью некоторых операций строить новые объекты теории. И.о. находят широкое применение в математике, логике и других науках. Примером может быть И.о. натуральных чисел. Исходным… …   Словарь терминов логики

• КАНТОРОВО МНОГООБРАЗИЕ — га мерный бикомпакт X,dim X=n, в к ром любая перегородка В между непустыми множествами имеет размерность Эквивалентное определение: re мерное К. м. есть n мерный бикомпакт X, обладающий тем свойством, что при всяком представлении его в виде суммы …   Математическая энциклопедия

• Утверждения — Утверждения, эквивалентные аксиоме выбора В данной статье рассматриваются различные формулировки и доказывается эквивалентность следующих предложений: Аксиома выбора Теорема Цермело Принцип максимума Хаусдорфа Лемма Куратовского Цорна… …   Википедия

• Утверждения, эквивалентные аксиоме выбора — В данной статье рассматриваются различные формулировки и доказывается эквивалентность следующих предложений: Аксиома выбора Теорема Цермело Принцип максимума Хаусдорфа Лемма Куратовского Цорна Эквивалентность этих предложений следует понимать в… …   Википедия

• Вещество как материя — (Matière, Substance, Materie, Stoff, Matter) противополагается по смыслу духу, силе, форме, явлению и пустоте. Такое отрицательное определение, происходящее из древности, не может служить основанием для каких либо научных сведений о В. Наука же… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• Философия — Скульптура «Мыслитель» (фр. Le Penseur) Огюста Родена, которая часто используется в качестве символа философии …   Википедия

• ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… …   Математическая энциклопедия

• ИНДУКТИВНАЯ ЛОГИКА —         раздел логики, изучающий индуктивные рассуждения, используемые гл. обр. с целью получения индуктивных обобщений, объяснений, предсказаний, описаний и предписаний (см. Индукция). Осн. объект изучения в совр. И. л. индуктивный вывод. Для… …   Философская энциклопедия

• электрический трансформатор — электрический машина, не имеющая подвижных частей и преобразующая переменный ток одного напряжения в переменный ток другого напряжения. В простейшем случае состоит из магнитопровода (сердечника) и расположенных на нём двух обмоток  первичной и… …   Энциклопедический словарь

• Определение (логика) — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей …   Википедия